منابع مشابه
Approximating Carathéodory's Theorem and Nash Equilibria
In this talk I will present an approximate version of Caratheodory’s theorem and its algorithmic applications. In particular, I will show that for every vector in the convex hull of a set of vectors X there exists a nearby (under p-norm distance, for p at least 2) vector that can be expressed as a convex combination of at most b vectors of X, where the bound b is independent of the dimension of...
متن کاملEquidimensionality of the Brauer Loop Scheme
We give another description of certain subvarieties of the Brauer loop scheme of Knutson and Zinn-Justin. As a consequence, we show that the Brauer loop scheme is equidimensional.
متن کاملGeneralizations of the Nash Equilibrium Theorem in the KKM Theory
The partial KKM principle for an abstract convex space is an abstract form of the classical KKM theorem. In this paper, we derive generalized forms of the Ky Fan minimax inequality, the von Neumann-Sion minimax theorem, the von Neumann-Fan intersection theorem, the Fan-type analytic alternative, and the Nash equilibrium theorem for abstract convex spaces satisfying the partial KKM principle. Th...
متن کاملA general structure theorem for the Nash equilibrium correspondence
I consider n–person normal form games where the strategy set of every player is a non–empty compact convex subset of Euclidean space, and the payoff function of player i is continuous and concave in player i’s own strategies. No further restrictions (such as multilinearity of the payoff functions or the requirement that the strategy sets be polyhedral) are imposed. In this setting we demonstrat...
متن کاملAn Existence Theorem of Nash Equilibrium in Coq and Isabelle
Nash equilibrium (NE) is a central concept in game theory. Here we prove formally a published theorem on existence of an NE in two proof assistants, Coq and Isabelle: starting from a game with finitely many outcomes, one may derive a game by rewriting each of these outcomes with either of two basic outcomes, namely that Player 1 wins or that Player 2 wins. If all ways of deriving such a win/los...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2004
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-04-07441-6